منابع مشابه
A Symbolic Symbolic State Space Representation
Symmetry based approaches are known to attack the state space explosion problem encountered during the analysis of distributed systems. In another way, BDD-like encodings enable the management of huge data sets. In this paper, we show how to benefit from both approaches automatically. Hence, a quotient set is built from a coloured Petri net description modeling the system. The reachability set ...
متن کاملDifferential polynomials and symbolic representation
In the Symmetry Approach the existence of infinite hierarchies of higher symmetries and/or local conservation laws is taken as a definition of integrability. The main aims of the approach are to obtain easily verifiable necessary conditions of integrability, to identify integrable cases and even to give complete description and classification of integrable system of a particular type. It proved...
متن کاملSymbolic Representation of Neural Networks
Although backpropagation neural networks generally predict better than decision trees do for pattern classiication problems, they are often regarded as black boxes, i.e., their predictions cannot be explained as those of decision trees. In many applications, more often than not, explicit knowledge is needed by human experts. This work drives a symbolic representation for neural networks to make...
متن کاملSymbolic Representation and Natural Language
The notion of symbolizability is taken as the second requisite of computation (the first being 'algorithmizability'), and it is shown that symbols, qua symbols, are not symbolizable. This has farreaching consequences for the computational study of language and for Al-research in language understanding. The representation hypothesis is formulated, and its various assumptions and goals are examin...
متن کاملSymbolic representation of probabilistic worlds.
Symbolic representation of environmental variables is a ubiquitous and often debated component of cognitive science. Yet notwithstanding centuries of philosophical discussion, the efficacy, scope, and validity of such representation has rarely been given direct consideration from a mathematical point of view. This paper introduces a quantitative measure of the effectiveness of symbolic represen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Japan Academy, Series A, Mathematical Sciences
سال: 1954
ISSN: 0386-2194
DOI: 10.3792/pja/1195526143